<!DOCTYPE HTML>
<script src="../resources/text-based-repaint.js"></script>
<script>
function repaintTest()
{
    // Though neither border box nor content box changes, should full repaint
    // because the border width changes.
    var target = document.getElementById('target');
    target.style.padding = '20px';
    target.style.borderWidth = '20px'; 
}
window.onload = runRepaintAndPixelTest;
</script>
<style>
body {
    margin: 0;
}
div {
    width: 100px;
    height: 100px;
    padding: 40px;
    position: absolute;
    background-color: green;
    border-color: blue;
    border-style: solid;
    border-width: 0;
}
</style>
<div id="target"></div>
